Restriction categories I: categories of partial maps
نویسندگان
چکیده
منابع مشابه
Restriction categories I: categories of partial maps
Given a category with a stable system of monics, one can form the corresponding category of partial maps. To each map in this category there is, on the domain of the map, an associated idempotent, which measures the degree of partiality. This structure is captured abstractly by the notion of a restriction category, in which every arrow is required to have such an associated idempotent. Categori...
متن کاملRestriction categories as enriched categories
Article history: Received 27 November 2012 Received in revised form 4 September 2013 Accepted 20 December 2013 Communicated by B.P.F. Jacobs
متن کاملOrder-Enrichment for Categories of Partial Maps
Synopsis Motivated by the desire of treating non-termination directly in the semantics of computation, the notion of approximation between programs is studied in the context of categories of partial maps. In particular, contextual approximation and specialisation are considered and shown to coincide. Moreover, after exhibiting the approximation between total maps as a primitive notion, from an ...
متن کاملRestriction categories II: partial map classification
An algebraic characterization of monads which are abstract partial map classi$ers is provided, without the assumption that the categories of total maps possess products. By an abstract partial map classi$er we mean a monad whose Kleisli category is a full subcategory of a partial map category wherein the induced comonad classi$es partial maps in the usual sense. A construction of the correspond...
متن کاملFrom Partial Model Categories to ∞-categories
In this article we study the problem of extracting an ∞-category from a relative category. We introduce partial model categories, which are relative categories that satisfy mild versions of the axioms of a model category. Since these axioms involve only the weak equivalences, they are general enough to include the vast majority of the relative categories one encounters in practice. We show that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2002
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(00)00382-0